The Verification of Temporal KBS: SPARSE - A Case Study in Power Systems
نویسندگان
چکیده
منابع مشابه
Verification & Validation of Power Systems Control Centres KBS
In last decades Knowledge Based System (KBS) became a common tool in a large number of Power Systems Control Centres (CC). In fact, the quantity, diversity and complexity of KBS increased significantly leading to important changes in KBS structure, especially in its nuclear components: knowledge representation and reasoning. The design of KBS applied in extremely dynamic environments demands th...
متن کاملVerification of Knowledge Based-Systems for Power System Control Centres
During the last years, electrical utilities began to install intelligent applications in order to assist Control Centres operators. The Verification and Validation (V&V) process intends to assure the reliability of these applications, even under incident conditions. This paper addresses the Validation and Verification of Knowledge-Based Systems (KBS) in general, focussing particularly on the V&...
متن کاملVeritas – a Verification Tool for Knowledge-based Systems for Power System Control Centres
During the last years, electrical utilities began to install intelligent applications in order to assist Control Centre operators. The Verification and Validation (V&V) process intends to assure the reliability of these applications, even under incident conditions. This paper addresses the Validation and Verification of Knowledge-Based Systems (KBS) in general, focussing particularly on the V&V...
متن کاملVERITAS - A Verification Tool for Real-Time Applications in Power System Control Centers
During the last years, electrical utilities began to install intelligent applications in order to assist Control Centers operators. The Verification and Validation (V&V) process must assure the reliability of these applications, even under incident conditions. This paper addresses the Validation and Verification of Knowledge-Based Systems (KBS) in general, focussing particularly on the V&V of S...
متن کاملThe verification of temporal knowledge based systems - a case-study on power-systems
Designing KBS for dynamic environments requires the consideration of temporal knowledge reasoning and representation (TRR) issues. Although humans present a natural ability to deal with knowledge about time and events, the codification and use of such knowledge in information systems still pose many problems. Hence, the development of applications strongly based on temporal reasoning remains an...
متن کامل